
function typep (x,type)
{
    return x != null && x.type != null && x.type == type;
}
